int poolprint_tests();
